1. Cautious Beginnings :
پدیدآورنده : Kurt F. Jensen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Intelligence service-- Canada-- History-- 20th century.,Military intelligence-- Canada-- History-- 20th century.,World War, 1939-1945-- Military intelligence-- Canada.,World War, 1939-1945-- Secret service-- Canada.
2. Coloured Petri Nets :
پدیدآورنده : by Kurt Jensen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
QA267
.
B958
1992
3. Coloured Petri nets.
پدیدآورنده : Kurt Jensen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
4. Coloured Petri nets
پدیدآورنده : Kurt Jensen
کتابخانه: (کرمان)
موضوع : Graph theory
رده :
QA
166
.
J4
,
C6
1992
5. Coloured Petri nets; basic concepts, analysis methods and practical use
پدیدآورنده : Jensen, K.)Kurt(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Petri nets
رده :
QA
267
.
J46
1992
6. Coloured Petri nets : basic concepts, analysis methods, and practical use
پدیدآورنده : Jensen, K.)Kurt(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Petri nets
رده :
QA
267
.
J46
1992
7. Coloured petri nets :
پدیدآورنده : Kurt Jensen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA267
.
K878
2012
8. High-level Petri Nets :
پدیدآورنده : edited by Kurt Jensen, Grzegorz Rozenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA267
.
E358
1991
9. Saints and sainthood around the Baltic Sea :
پدیدآورنده : edited by Carsten Selch Jensen, Tracey R. Sands, Nils Holger Petersen, Kurt Villads Jensen, Tuomas M.S. Lehtonen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Christian hagiography-- History-- To 1500, Congresses.,Christian saints-- Cult-- Baltic Sea Region, Congresses.,Christian saints-- Cult-- Livonia, Congresses.,Christian saints-- Cult-- Scandinavia, Congresses.,Church history-- Middle Ages, 600-1500, Congresses.,Christian hagiography.,Christian saints-- Cult.,Church history-- Middle Ages.,Church history.,Baltic Sea Region, Church history, Congresses.,Livonia, Church history, Congresses.,Europe, Baltic Sea Region.,Europe, Livonia.,Scandinavia., 0, 0, 7, 7, 7
رده :
BX394
.
S25
2018
10. Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
پدیدآورنده : Kurt Jensen, Andreas Podelski )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2988
11. Transactions on Petri Nets and Other Models of Concurrency IV
پدیدآورنده : / Kurt Jensen, Susanna Donatelli, Maciej Koutny
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
12. Transactions on Petri Nets and Other Models of Concurrency IV
پدیدآورنده : / rg Desel (auth.), Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.)Jن
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
13. Transactions on Petri Nets and Other Models of Concurrency V
پدیدآورنده : / Kurt Jensen, Susanna Donatelli, Jetty Kleijn
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
14. Transactions on Petri Nets and Other Models of Concurrency VI
پدیدآورنده : / Kurt Jensen, Wil M. Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
15. Transactions on Petri Nets and Other Models of Concurrency VII
پدیدآورنده : / Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
16. Transactions on petri nets and other models of concurrency VII
پدیدآورنده : Kurt Jensen [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Petri nets -- Congresses.,Software.
رده :
QA267
.
K878
2013
